WEYL GROUP MULTIPLE DIRICHLET SERIES OF TYPE C arXiv:1003.1158v2 [math.NT] 22 Jun 2010 JENNIFER BEINEKE, BEN BRUBAKER, AND SHARON FRECHETTE Abstract. We develop the theory of “Weyl group multiple Dirichlet series” f

Source URL: mathcs.holycross.edu

A Cubical Type Theory Cork, August 26, 2015 A Cubical Type Theory

Source URL: www.cse.chalmers.se

Programs and Proofs Mechanizing Mathematics with Dependent Types Lecture Notes Ilya Sergey Draft of August 19, 2015

Source URL: ilyasergey.net

• Mathematical logic
• Theoretical computer science
• Mathematics
• Type theory
• Logic in computer science
• Automated theorem proving
• Formal methods
• Coq
• Automated reasoning
• Proof assistant
• Separation logic
• Functional programming

Lecture Notes on Static Analysis Michael I. Schwartzbach BRICS, Department of Computer Science University of Aarhus, Denmark

Source URL: www.itu.dk

• Data types
• C++
• Subroutines
• Type theory
• C
• Pointer
• Const
• C dynamic memory allocation
• Dereference operator
• Function pointer
• Dangling pointer
• Reference

Abstract Predicates and Mutable ADTs in Hoare Type Theory Aleksandar Nanevski1 , Amal Ahmed2 , Greg Morrisett1 , and Lars Birkedal3 1 2

Source URL: www.ccs.neu.edu

Can the computer really help us to prove theorems?

Source URL: www.cs.ru.nl

• Proof assistants
• Automated theorem proving
• Logic in computer science
• Type theory
• Automath
• Logic for Computable Functions
• Nqthm
• Proof theory
• ACL2
• Mathematical proof
• Andrzej Trybulec
• Isabelle

The Gradualizer: A Methodology and Algorithm for Generating Gradual Type Systems Matteo Cimini Jeremy G. Siek

Source URL: dl.dropboxusercontent.com

• Type theory
• Lambda calculus
• Type systems
• Models of computation
• Program analysis
• Simply typed lambda calculus
• Gradual typing
• Monad
• System F

A. Proofs For simplicity, we only consider the unary and binary unlifting functions.

Source URL: www2.sf.ecei.tohoku.ac.jp

• Parametricity
• Polymorphism
• Type theory
• Ring
• KnuthBendix completion algorithm

Static Typing & JavaScript Libraries: ∗ Towards a More Considerate Relationship Benjamin Canou Emmanuel Chailloux

Source URL: www2013.wwwconference.org

• Type theory
• Object-oriented programming
• Data types
• Functional programming
• OCaml
• Structural type system
• Ocsigen
• Type system
• Duck typing
• Immutable object
• Caml
• Constant

On the Interpretation of Type Theory in Locally Cartesian Closed Categories Martin Hofmann? Department of Computer Science, University of Edinburgh JCMB, KB, Mayeld Rd., Edinburgh EH9 3JZ, Scotland

Source URL: www.tcs.ifi.lmu.de